(root 11 - root 7) (root 11 root 7)